This book address all aspects of constraint and logic programming, including foundational issues, implementation techniques, ...
Lire la suiteThis book is organized in topical sections on applications, collective operations, library internals, message passing for ...
Lire la suiteThey are dedicated to the field of and current researches in reinforcement learning.There was an air of excitement as substantial ...
Lire la suiteThe book was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable ...
Lire la suiteThis book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
Lire la suiteS3 is a forum for discussion of topics relating to computer systems and languages that are able to bootstrap, implement, ...
Lire la suiteAmong the topics addressed are semantics-aware data models and query languages; ontology-based views, mapping, transformations, ...
Lire la suiteThis volume covered are evolutionary learning; evolutionary optimisation; hybrid learning; adaptive systems; theoretical ...
Lire la suiteThe book address all current issues of robotics applications and simulation environments thereof, such as 3D robot simulation, ...
Lire la suiteThis book focus on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, ...
Lire la suiteThe goal of the International Symposia on Software Composition is to advance the state of the research in component-based ...
Lire la suiteThis book includes organisational issues; productivity, effort estimation metrics; standards reference models; documentation ...
Lire la suiteThis book is organized in topical sections on programming languages, software engineering, distributed and parallel systems, ...
Lire la suiteThe objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges ...
Lire la suiteThe book addresses all safety and security-related aspects of self-stabilizing systems in various areas of distributed computing ...
Lire la suiteThe book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
Lire la suiteThis book proposes a unifying approach for the analysis and design of artificial cognitive systems: The Anticipatory Approach. The ...
Lire la suiteThe Common Component Modelling Example makes it possible to compare different approaches and to validate existing models. ...
Lire la suiteThis Book State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project ...
Lire la suiteThe aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...
Lire la suite